81. Computer aided systems theory-CAST '94 : 4th International Workshop, Ottawa, Ontario, Canada, May 16-20, 1994 : selected papers
Author: Tuncer I. Oren, George J. Klir )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer-aided engineering,Congresses ، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
1105
82. Computer aided systems theory--EUROCAST '93 :
Author: F. Pichler, R. Moreno Díaz, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-aided design, Congresses.,Computer-aided engineering, Congresses.
Classification :
TA345
.
I62
1993
83. Computer aided systems theory-- EUROCAST 2011
Author: Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Computer-aided design, Congresses,Computer-aided engineering, Congresses,System analysis, Congresses
Classification :
TA345
.
I583
2011eb
84. Computer aided systems theory-- EUROCAST 2011
Author: Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Computer-aided design, Congresses,Computer-aided engineering, Congresses,System analysis, Congresses
Classification :
TA345
.
I583
2011eb
85. Computer aided systems theory-- EUROCAST 2007
Author: / Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer-aided engineering--Congresses,Computer-aided design--Congresses,System analysis--Congresses,System theory--Congresses
Classification :
TA
,
345
,.
I558
,
2007
86. Computer aided systems theory EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings
Author: F. Pichler, R. Moreno-Diaz, R. Albrecht )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer-aided engineering,Congresses ، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
1030
87. Computer aided systems theory, EUROCAST '93 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Las Palmas, Spain ,February 22-26, 1993 : Proceedings
Author: F. Pichler, R. Moreno Diaz, Eds
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer-aided engineering,Congresses ، Computer-aided design
Classification :
QA
76
.
L4
v
.
763
88. Computer aided systems theory-EUROCAST'91: a selection of papers from the second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991: proceedings
Author: F. Pichles, R. MorenoDiaz )eds(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer-aided engineering,Congresses ، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
585
89. Computer aided systems theory-EUROCAST'97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 1997 : proceedings
Author: Franz Pichler, Roberto Moreno-Diaz )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer-aided engineering,Congresses ، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
1333
90. Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theroy, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 : revised papers
Author: Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer-aided engineering,Congresses ، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
2178
91. Computer aided systems theory-EUROCAST'99 : a selection of papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 : Proceedings
Author: Franz Pichler, Roberto Moreno-Diaz, Peter Kopacek )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer-aided engineering,Congresses ، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
1798
92. Computer aided systems theory--EUROCAST'93 : a selection of papers from the third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings
Author: F. Pichler, R. Moreno Diaz, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer-aided engineering,Congresses ، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
763
93. Computer aided systems theory -- EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005 : revised selected papers
Author: Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer-aided design,Congresses ، Computer-aided engineering
Classification :
QA
76
.
L28
Vol
.
3643
94. Computer aided systems theory--EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003 : revised selected papers
Author: Roberto Moreno Diaz, Franz Pichler )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer-aided engineering,Congresses ، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
2809
95. [Computer aided systems theory] [revised selected papers]
Author: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
96. Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings
Author: E.M. Clarke, R.P. Kurshan )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
531
97. Computer-aided verification: proceedings 2nd International conference, CAV'90
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Digital integrated circuits-- Computer-aided design,Congresses ، Integrated circuits-- Verification
Classification :
TK
7874
.
D553
1990a
98. Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990
Author: E.M. Clarke, R.P. Kurshan editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design
Classification :
TK
7874
.
D55
1990
99. Computer applications-analysis in design
Author: International off-Highway & Powerplant congress & exposition
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Design and construction - Date processing - Congresses ، Motor vehicles,Congresses ، Computer-aided design
Classification :
TL
240
.
I533
1986
100. Computer applications in design & manufacturing
Author:
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: MOTOR VEHICLES-DESIGN & CONSTRUCTION- , COMPUTER-AIDED DESIGN-CONGRESSES
Classification :
TL
240
.
I59
1987
